p(a) :- a.

a.

%%%%%%%%%%%%%%%%
p(b) :- b.

b.
